Search Results

---

Abstract

---

Cite as

20th International Conference on Types for Proofs and Programs (TYPES 2014). Leibniz International Proceedings in Informatics (LIPIcs), Volume 39, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

---

Copy BibTex To Clipboard

@Proceedings{herbelin_et_al:LIPIcs.TYPES.2014,
  title =	{{LIPIcs, Volume 39, TYPES'14, Complete Volume}},
  booktitle =	{20th International Conference on Types for Proofs and Programs (TYPES 2014)},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-88-0},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{39},
  editor =	{Herbelin, Hugo and Letouzey, Pierre and Sozeau, Matthieu},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2014},
  URN =		{urn:nbn:de:0030-drops-55047},
  doi =		{10.4230/LIPIcs.TYPES.2014},
  annote =	{Keywords: Applicative (Functional) Programming, Software/Program Verification, Specifying and Verifying and Reasoning about Programs, Mathematical Logic}
}

@Proceedings{herbelin_et_al:LIPIcs.TYPES.2014, title = {{LIPIcs, Volume 39, TYPES'14, Complete Volume}}, booktitle = {20th International Conference on Types for Proofs and Programs (TYPES 2014)}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-88-0}, ISSN = {1868-8969}, year = {2015}, volume = {39}, editor = {Herbelin, Hugo and Letouzey, Pierre and Sozeau, Matthieu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2014}, URN = {urn:nbn:de:0030-drops-55047}, doi = {10.4230/LIPIcs.TYPES.2014}, annote = {Keywords: Applicative (Functional) Programming, Software/Program Verification, Specifying and Verifying and Reasoning about Programs, Mathematical Logic} }

---

Abstract

---

Cite as

20th International Conference on Types for Proofs and Programs (TYPES 2014). Leibniz International Proceedings in Informatics (LIPIcs), Volume 39, pp. i-x, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

---

Copy BibTex To Clipboard

@InProceedings{herbelin_et_al:LIPIcs.TYPES.2014.i,
  author =	{Herbelin, Hugo and Letouzey, Pierre and Sozeau, Matthieu},
  title =	{{Front Matter, Table of Contents, Preface, Authors Index}},
  booktitle =	{20th International Conference on Types for Proofs and Programs (TYPES 2014)},
  pages =	{i--x},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-88-0},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{39},
  editor =	{Herbelin, Hugo and Letouzey, Pierre and Sozeau, Matthieu},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2014.i},
  URN =		{urn:nbn:de:0030-drops-54888},
  doi =		{10.4230/LIPIcs.TYPES.2014.i},
  annote =	{Keywords: Front Matter, Table of Contents, Preface, Authors Index}
}

@InProceedings{herbelin_et_al:LIPIcs.TYPES.2014.i, author = {Herbelin, Hugo and Letouzey, Pierre and Sozeau, Matthieu}, title = {{Front Matter, Table of Contents, Preface, Authors Index}}, booktitle = {20th International Conference on Types for Proofs and Programs (TYPES 2014)}, pages = {i--x}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-88-0}, ISSN = {1868-8969}, year = {2015}, volume = {39}, editor = {Herbelin, Hugo and Letouzey, Pierre and Sozeau, Matthieu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2014.i}, URN = {urn:nbn:de:0030-drops-54888}, doi = {10.4230/LIPIcs.TYPES.2014.i}, annote = {Keywords: Front Matter, Table of Contents, Preface, Authors Index} }